Universal algebra - PDFSEARCH.IO - Document Search Engine

Universal algebra
Results: 475

#	Item
111	Secure Efficient History-Hiding Append-Only Signatures in the Standard Model Benoˆıt Libert Marc Joye Add to Reading List Source URL: www.iacr.org Language: English - Date: 2015-03-31 04:04:52 Cryptography Computing Digital signature Public-key cryptography Structure Append Parity of a permutation Signature Sha Mathematics Model theory Universal algebra
112	Microsoft Word - Major Checksheet 2015.doc Add to Reading List Source URL: www.stat.colostate.edu Language: English - Date: 2015-04-27 13:08:25 Linear algebra Bayesian inference Polynomials Factorization of polynomials over a finite field and irreducibility tests Universal hashing Statistics Statistical theory Mathematics
113	DISCRETE AND CONTINUOUS DYNAMICAL SYSTEMS–SERIES B Volume 7, Number 1, January 2007 Website: http://AIMsciences.org pp. 87–100 Add to Reading List Source URL: www.math.ust.hk Language: English - Date: 2006-10-01 11:00:22 Mathematics Operator theory Logic Symbol Model theory Structure Universal algebra
114	A Hidden Herbrand Theorem: Combining the Object and Logic Paradigms Joseph Goguen Dept. Computer Science & Engineering University of California, San Diego Add to Reading List Source URL: cseweb.ucsd.edu Language: English - Date: 2001-11-18 00:50:05 Mathematical structures Algebraic structures Algebras Algebra over a field Structure Term algebra Boolean algebra Universal enveloping algebra Clifford algebra Abstract algebra Algebra Mathematics
115	Journal of Universal Computer Science, vol. 11, no), submitted: , accepted: 4/6/05, appeared: © J.UCS Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Mod Add to Reading List Source URL: jucs.org Language: English - Date: 2006-11-02 05:53:39 Rebec FO Mathematical logic Mathematics Boolean algebra Theoretical computer science Boolean data type
116	Journal of Universal Computer Science, vol. 4, no), 48-67 submitted: , accepted: , appeared: © Springer Pub. Co. Algebraic Solutions to a Class of Interval Equations Evgenija D. Popova Add to Reading List Source URL: www.math.bas.bg Language: English - Date: 2009-01-04 08:49:01 Differential equation Interval arithmetic Vector space Interval finite element Ordinary differential equation Mathematics Algebra Mathematical analysis
117	JanuaryStanford Verification Group Report No. 15 Add to Reading List Source URL: rewriting.loria.fr Language: English - Date: 2005-01-06 03:20:52 Algebraic structures Algebraic logic Boolean algebra Differential equation Universal algebra Unification Variety Boolean algebras canonically defined Heyting algebra Mathematics Abstract algebra Algebra
118	Faceted Execution of Policy-Agnostic Programs Thomas H. Austin Jean Yang Cormac Flanagan Add to Reading List Source URL: people.csail.mit.edu Language: English - Date: 2014-05-21 08:08:48 Structure Universal algebra String Linguistics Mathematics Formal languages Model theory
119	WFG_Logo 2_Full Colour_CMYK Add to Reading List Source URL: www.waterwaysforgrowth.eu Language: English - Date: 2012-11-22 15:11:06 Elbe-Weser Triangle Exclaves Grube S5 Substructure Structure Geography of Germany Political geography Geography of Europe Model theory Universal algebra Bremerhaven
120	Biophysical Journal Volume 71 SeptemberIs There Add to Reading List Source URL: www.ccs.fau.edu Language: English - Date: 2006-11-13 14:22:05 Identification Gaussian elimination Numerical linear algebra Universal Product Code Matrix Discrete mathematics Error threshold Coding theory Mathematics Error detection and correction

UPDATE